大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Computer Software Engineering (1976 : New York) 的图书(共10474本)

Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

0
索取号：
作者：Barthe、 Gilles.、Pardo、 Alberto.、Schneider、 Gerardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mechanics, Models and Methods in Civil Engineering [electronic resource]

0
索取号：
作者：Fr茅mond、 Michel.、Maceri、 Franco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

String Processing and Information Retrieval [electronic resource] : 18th International Symposium, SPIRE 2011, Pisa, Italy, October 17-21, 2011. Proceedings

0
索取号：
作者：Grossi、 Roberto.、Sebastiani、 Fabrizio.、Silvestri、 Fabrizio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Testing Software and Systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

0
索取号：
作者：Wolff、 Burkhart.、Za茂di、 Fatiha.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Conceptual Modeling. Recent Developments and New Directions [electronic resource] : ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011. Proceedings

0
索取号：
作者：Troyer、 Olga.、Bauzer Medeiros、 Claudia.、Billen、 Roland.、Hallot、 Pierre.、Simitsis、 Alkis.、Mingroot、 Hans.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods and Software Engineering [electronic resource] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

0
索取号：
作者：Qin、 Shengchao.、Qiu、 Zongyan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings

0
索取号：
作者：D茅fago、 Xavier.、Petit、 Franck.、Villain、 Vincent.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model Driven Engineering Languages and Systems [electronic resource] : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings

0
索取号：
作者：Whittle、 Jon.、Clark、 Tony.、K眉hne、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Challenges at the Interface of Data Analysis, Computer Science, and Optimization [electronic resource] : Proceedings of the 34th Annual Conference of the Gesellschaft f眉r Klassifikation e. V., Karlsruhe, July 21 - 23, 2010

0
索取号：
作者：Gaul、 Wolfgang A.、Geyer-Schulz、 Andreas.、Schmidt-Thieme、 Lars.、Kunze、 Jonas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Implementation and Application of Functional Languages [electronic resource] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers

0
索取号：
作者：Scholz、 Sven-Bodo.、Chitil、 Olaf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model and Data Engineering [electronic resource] : First International Conference, MEDI 2011, 脫bidos, Portugal, September 28-30, 2011. Proceedings

0
索取号：
作者：Bellatreche、 Ladjel.、Mota Pinto、 Filipe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Web Information System Engineering-WISE 2011 [electronic resource] : 12th International Conference, Sydney, Australia, October 13-14, 2011. Proceedings

0
索取号：
作者：Bouguettaya、 Athman.、Hauswirth、 Manfred.、Liu、 Ling.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Web Information Systems Engineering-WISE 2010 Workshops [electronic resource] : WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010, Revised Selected Papers

0
索取号：
作者：Chiu、 Dickson K. W.、Bellatreche、 Ladjel.、Sasaki、 Hideyasu.、Leung、 Ho-fung.、Cheung、 Shing-Chi.、Hu、 Haiyang.、Shao、 Jie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

0
索取号：
作者：Bultan、 Tevfik.、Hsiung、 Pao-Ann.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Frontiers of Combining Systems [electronic resource] : 8th International Symposium, FroCoS 2011, Saarbr眉cken, Germany, October 5-7, 2011. Proceedings

0
索取号：
作者：Tinelli、 Cesare.、Sofronie-Stokkermans、 Viorica.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Architecture [electronic resource] : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers

0
索取号：
作者：Varbanescu、 Ana Lucia.、Molnos、 Anca.、Nieuwpoort、 Rob.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院